Moves Newsletter

Dear reader, This here is the third installment of the Fundamental Issues in Modelling, Verification and Evolution of Software (MoVES) newsletter. The goal of the newsletter is to highlight the work performed in the context of the project through the different workpackages. As with previous issues, this edition of the newsletter is divided in two parts, the first one focusing on the results achieved in the Programming Languages workpackage, and the second one on the work performed by the partners at the Vrije Universiteit Brussel (VUB). The goal of workpackage 1 is to investigate novel abstraction techniques in programming languages that facilitate the mapping of abstract and high level models onto executable models. In this issue we present the results of collaborations on the topics of validation of compositions resulting from the use of aspect and context-oriented techniques, as well as more generic composition problems, such as the merging of changes in a code repository, and the composition of source code regularities into design regularities application. These results validate the relevance of the work performed in the package as well as the high degree of inter-institution collaboration. Testament of this is the work presented by two cotutelles, Nicolás Cardozo (UcL VUB) and Verónica Uquillas (VUB INRIA). For the second part of this issue, we present a sample of the work currently carried out in the Software Languages Lab at the VUB. The different themes: human-computer interface, environmental mobile computing, workflow composition and multi-core programming, represent the different areas that the Software Languages Lab is currently exploring; all tackled from a programming language perspective. We trust that you will find this issue entertaining as well as informative, for more information about the project, visit http://moves.vub.ac.be/. Carlos Noguera and Dirk Deridder